Friday, April 21

• Undecidability